TSTP Solution File: DAT193^1 by Nitpick---2016